(redisplay, echo_area_display): Use redraw_garbaged_frames.
authorRichard M. Stallman <rms@gnu.org>
Sun, 6 Jun 1993 06:46:06 +0000 (06:46 +0000)
committerRichard M. Stallman <rms@gnu.org>
Sun, 6 Jun 1993 06:46:06 +0000 (06:46 +0000)
src/xdisp.c

index 7e8d7152ca7e3cc2e71a7e5d4ea93ea4a78b080d..2dc39a26169ff6a64bf53e7b14a84a74b8c7826b 100644 (file)
@@ -312,7 +312,7 @@ echo_area_display ()
 
   if (frame_garbaged)
     {
-      Fredraw_display ();
+      redraw_garbaged_frames ();
       frame_garbaged = 0;
     }
 
@@ -394,7 +394,7 @@ redisplay ()
 
   if (frame_garbaged)
     {
-      Fredraw_display ();
+      redraw_garbaged_frames ();
       frame_garbaged = 0;
     }